Back to Results
First PageMeta Content
Logic in computer science / Aspect-oriented programming / Formal verification / Model checking / Grammatical aspect / E / Formal specification / Abstraction / Software development / Formal methods / Aspect-oriented software development


Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science
Add to Reading List

Document Date: 2012-10-28 08:11:48

Open Document

File Size: 190,46 KB

Share Result on Facebook

Currency

pence / /

/

Facility

Israel Institute of Technology / /

IndustryTerm

suggested refinement algorithms / reactive systems / model-checking tools / arbitrary product / synthesis algorithm / event processing / /

Organization

Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department / Technion / Israel Institute of Technology / /

Position

Model checking General / /

ProgrammingLanguage

AspectJ / /

Technology

suggested refinement algorithms / synthesis algorithm / /

SocialTag