Search Result Save to File Save as CSV
Your search for 37150 returns 2760 document(s)
ERTL: an extension to RTL for requirements analysis for hybrid systems, Hal. 106-121
Author: Rogerio de Lemos; Jon Hall and Amer Saeed; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
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 
Requirements analysis and system design developing information systems with UML/ Leszek A. Maciaszek
Author: Maciaszek Leszek A.; | Call Number: 005.1 Mac r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Information systems requirements: determination and analysis 2nd ed./Donald J. Flynn
Author: Flynn, Donald J.; | Call Number: 658.403 8 Fly i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Systems Requirements for Organizational Learning
Author: Jim Q. Chen, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Algorithmic analysis of nonlinear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 225-238
Author: Thomas A. Henzinger; Pei Hsin Ho; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Linear hybrid systems, Hal. 47-65
Author: Frits Vaandrager; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A process algebra for hybrid systems, Hal. 129-135
Author: Jan Joris Vereijken; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Synthezing controllers for hybrid systems, Hal. 361-375
Author: Deepak Kapur; R.K. Siyamasuda; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next