Limit Search Results
Author
SpringerLink (Online service)
(93)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
English
(185)
Publication Date
-
Subject
Software engineering.
(22)
Computer science.
(20)
Engineering.
(12)
Systems engineering.
(12)
Logic design.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
187 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Author 
Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Real-Time Systems Formal Specification and Automatic Verification
Real-Time Systems Formal Specification and Automatic Verification
Author 
Olderog, Ernst-Rüdiger. Dierks, Henning.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Author 
Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Author 
Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11752707
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Author 
Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11955757
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Author 
Vachoux, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering 2 Specification of Systems and Languages
Software Engineering 2 Specification of Systems and Languages
Author 
Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33193-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
Author 
Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135596
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance
Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance
Author 
Groten, Martin. Janda, Ralf. Latta, Mark.
Preferred Shelf Number 
WU 190 G8813 2004
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets