Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings by

Lecture Notes in Computer Science

Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings

353 pages • paperback

1 edition

nonfiction computer science design health medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect Information

Powered by AI (Beta)
Loading...

Description

TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation, veri cation, analysisandconstru...

Show More

Community Reviews

Loading...

Content Warnings

Loading...