Apr 20, 2024  
2009-2010 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Calendar
  Glossary and Abbreviations
  Graduate School Admission
  Enrollment
  Tuition and Fees
  Degrees & Certificates Offered
  Grades
  All-University Regulations
  Auxiliary Services and Facilities
  Student Financial Assistance
  Services for Students
  Support Services
  Research Facilities and Centers
  International Programs
  K-State Athletics
  K-State Research and Extension
  Outreach
  University Faculty
  Colleges and Departments
  Degrees & Certificates Offered
  Courses
  Courses by Department
  Online Catalog Tutorial
  iSIS
  K-State Online
  WebMail
  My Portfolio
HELP
2009-2010 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 842 - Specification and Verification of Reactive Systems

Review of formal specification languages; architecture of concurrent and reactive systems; specification methods including: Z, Petri nets, temporal logic, state transition models; development and evaluation of system specifications; verification structures including layered systems, serialization, and predicate automata.

Credits: (3)

Requisites
Pr.: CIS 771.


KSIS Course Search



Add to Portfolio (opens a new window)