×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [pisa http]
Home >
pisa http
5DM_kdse.ppt
740 views
The High-Performance Administrator
107 views
Real-Time Process Control Systems (Real-Time Controller ASM for the Railroad Crossing Case Study) Egon Börger Dipartimento di Informatica, Universita di.
218 views
Leaning towerofpisa
1.093 views
Capturing Requirements (Building Ground Models) from natural language and use case descriptions (Simple Exercises) Egon Börger Dipartimento di Informatica,
215 views
Modeling Database Recovery An Exercise in Stepwise Refinement Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
214 views
Pipelining a RISC Architecture Stepwise Verification of DLX Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
215 views
“I do not know what I may appear to the world, but to myself I seem to have been only like a boy playing on the sea-shore, and diverting myself in now.
217 views
Abstract State Machines Method for High-Level System Design and Analysis A Software EngineeringTechnique Egon Börger (Slightly adapted by Fabio Martinelli.
212 views
Computation and Specification Models A Comparative Study Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
220 views
An Abstract Component Model Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
216 views
Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.
214 views
Next >