| Your search for 38603 returns 3937 document(s) |
| Dicidable hybrid systems to modelize and verify rel-time applications, Hal. 295-302 |
|
Author: Olivier Roux; Vlad Rusu; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Invariance priciple in hybrid systems modeled by mixed mapings, Hal. 397-408 |
|
Author: Toshimitau Ushio; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Industry-wide information systems standardization as collective action: the case of the U.S. residential mortgage industry, page 439-465 |
|
Author: M. Lynne Markus, Charles W. Steinfield, Rolf T.Wigand, and Gabe Minton | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Learning for action: a short definitive account of sosft systems methodology and its use for practitioners teachers and students |
|
Author: Checckland, Peter; | Call Number: 658.403 2 Che l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Computer Science 1926) Hal 18 |
|
Author: Werner Damm; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the addition of fault-tolerance, (LNCS-Lecture Notes in Computer Science 1926) Hal 82-93 |
|
Author: Sandeep S. Kulkarni; Anish Arora; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A dual interpretation of "standard constraints" in parametric scheduling, (LNCS-Lecture Notes in Computer Science 1926) Hal 121-133 |
|
Author: K. Subramani; Ashok Agrawala; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A system for object code validation, (LNCS-Lecture Notes in Computer Science 1926) Hal 152-169 |
|
Author: A. K. Bhattacharjee; Gopa Sen; S. D. Dhodapkar; K. Karunakar; Basant Rajan; R. K. Shyamasundar; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
|
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227 |
|
Author: Leszek Holenderski; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result