Back to Results
First PageMeta Content
Models of computation / Model checkers / Esterel / Automata theory / Model checking / SIGNAL / Theoretical computer science / Uppaal Model Checker / Computing / Hardware description languages / Synchronous programming languages / Software engineering


✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU
Add to Reading List

Document Date: 2012-12-31 04:25:30

Open Document

File Size: 147,64 KB

Share Result on Facebook

City

Lille / San Diego / Mouly / /

Company

Real-Time Systems / Automata For Modeling Real-Time Systems / Alcatel Business Systems / Validated Real-Time Software / Computer Sciences / Hybrid Systems / BP / /

Country

France / United States / /

Currency

DEM / /

/

Event

Man-Made Disaster / /

IndustryTerm

irregular processing architectures / test and simulation sessions / realtime applications / computing / reactive applications / telecommunications software / software kernel / /

OperatingSystem

KRONOS / /

Person

Wang Yi / /

Position

External Events Handler description Environment description EEH2A Env2TM External Events Handler Model Environment Timed Model SAXO-RT / SAXO-RT / general architecture SAXO-RT / /

ProgrammingLanguage

ESTEREL / C / T / /

ProvinceOrState

California / M.B. / /

Technology

GSM System / simulation / DSP / /

SocialTag