Skip to main content
Shape Copy 6
Shape Copy 18
Shape
Shape
next month copy
next month
A. James Clark School of Engineering, University of Maryland
Mobile Navigation Trigger
Search this site for:
Home
Main Menu
Mobile Navigation Trigger Reverse
eng.umd.edu
Visitor info
For faculty/staff
Reserve a room
For students
Give
About
Director's Welcome
Intro to ISR
ISR History
Centers & Labs
Impact of ISR Research
Contact ISR/Staff List
Visitor Information
Driving Directions
Directions From Local Airports
Taking the Metro to ISR
Faculty
Directory
Fellows, Awards & Honors
Books & Software
Patents
Research Posters
Faculty Videos
Roger Brockett, 1938-2023
Research
AI, ML, RL, CV
Communications & Networks
Control, Optimization, Modeling
Energy Systems
Micro & Nanosystems
Neuroscience, Computational Biology
Operations Research, Decision Making
Robotics & Autonomy
Security
Systems Engineering; Design
Funded projects
Education
Systems Engineering Grad Programs
M.S. in Systems Engineering
Systems Engineering Undergrad
Robotics Grad Programs
Embedded Systems Grad Programs
Postdoctorate
Professional Development
News & Media
News Center
For Reporters
Press Releases
Newsletter
Reports and Histories
Technical Reports
Events
Calendar
Advanced Networks Colloquia
CCSP Seminars
CDS Invited Lectures
Distinguished Lecturers
IAI Colloquia
ISR Special Seminars
i-COMPASSE Colloquia
Microsystems Seminars
Robotics Seminars
Seminar Videos
Alumni
eng.umd.edu
Visitor info
For faculty/staff
Reserve a room
For students
Give
Faculty Directory
Media
Resources
ClarkNet
Facebook
Twitter
Youtube
Linkedin
Home
Research Posters
Formal verification of safety-critical systems using UML
Formal verification of safety-critical systems using UML
Faculty
W. Rance Cleaveland
, Zamira Daw
Year
2013
Research Area
Computer Science and AISystems Engineering
File
ISR30-ZamiraDaw-Cleaveland.pdf
Top
ISR30-ZamiraDaw-Cleaveland.pdf
ISR30-ZamiraDaw-Cleaveland.pdf
ISR30-ZamiraDaw-Cleaveland.pdf