Search Result
Save to File
Your search for
36751
returns
480
document(s)
Modelling coordinated atomic actions in timed CSP, (LNCS-Lecture Notes in Computer Science 1926) Hal 228-239
Author: Simeon Veloudis; Nimal Nissanke; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74
Author: Luming Lai; Phil Watson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Data-structures for the verification of timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 346-360
Author: Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Some progress in the symbolic verification of timed automata, (LNCS-Lecture Notes in Computer Science 1254) Hal 179-190
Author: Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Software engineering metrics and models
Author: Conte, Samuel Daniel; | Call Number: 005.1 Con s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Numerical optimization of computer models
Author: Schwefel, Hans-Paul; | Call Number: 575.007 2 Sch n | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Learning in graphical models
Call Number: 519.6 Lea | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Programming languages structures and models
Author: Dershem, Herbert L.; | Call Number: 005.13 Der p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next