MPG.eBooks - Search Results - (("cooperation systems") or ("operations systems"))*

Search alternatives:
"cooperation systems" » "cooperation system", "cooperative systems", "cooperating systems"
"operations systems" » "operations system", "operational systems", "operating systems"

Cover Image

1

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Model of Real-Time Cooperative Systems -- New Developments in Closed-Form Computation for GSPN...”