Your search for 39693 returns 2886 document(s) |
Simulation modeling and analysis 4th ed. (INSTRUCTOR'S MANUAL) |
Author: Law, Averill M.; | Call Number: 003.3 Law s | Type: Instructor's Manual
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An environment for formal modeling and simulation of control systems, Hal. 74-79 |
Author: Bernardo Copstein; Michael da Costa Mora; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modeling and simulation of a network of workstations with wormhole switching, Hal. 299-306 |
Author: X. Malero F. Silla; V. Santoja; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
STARI: a case study in compositional and hierarchial timing verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 191-201 |
Author: Serdar Tasiran; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213 |
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Model checking in a microprocessor design project, (LNCS-Lecture Notes in Computer Science 1254) Hal 214-225 |
Author: Geoff Barret; Anthony McIsaac; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Some thoughts on statecharts, 13 years later, (LNCS-Lecture Notes in Computer Science 1254) Hal 226-231 |
Author: David Harel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Computer Science 1254) Hal 232-243 |
Author: Viktor Gyuris; A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Model checking and transitive-closure logic, (LNCS-Lecture Notes in Computer Science 1254) Hal 291-302 |
Author: Neil Immerman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Boolean and 2-adic numbers based techniques for verifying synchronous designs, (LNCS-Lecture Notes in Computer Science 1254) Hal 303 |
Author: Gerard Berry; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|