Search Results

[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Microbiology model checking Genetics FOS Biological sciences Parallel [INFO.INFO-DC]Computer Science [cs]/Distributed and Cluster Computing [cs.DC] Arctic medicine. Tropical medicine RC955-962 [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Antarctica General Agricultural and Biological Sciences formal specification network protocols verification methods ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems distributed systems partial-order reduction simulation ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods Aquatic Science General Medicine Oceanography Pollution Public aspects of medicine