Your search for 37157 returns 2019 document(s) |
Specification and verification of a real-tiem steam boiler system, Hal. 205-229 |
Author: Jan Vitt; Josef Hooman; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Protocol specification, testing, and verification VI |
Call Number: 004.62 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal methods of program verification and specification |
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time systems: formal specification and automatic verification |
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Communication protocol specification and verification/Richard Lai |
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Temporal Framework for Database Specification and Verification (91-99) |
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured analysis and system specification |
Author: DeMarco, Tom; | Call Number: 003 Dem s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An excercise in hybrid system specification using an extension of Z, Hal. 311-316 |
Author: Viktor Friesen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Papers from the seventh IFIP international meeting on protocol specification, testing and verification Zurich, May 5-8, 1987/ Harry Rudin; Colin H. West |
Call Number: SEM-102 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information system behavior specification by high-level petri nets, page 380 |
Author: Andreas O. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|