Verifying sequence and content for safety critical hypermedia systems

Newman, Robert

doi:10.1109/eurmic.2000.874408

Search citation statements

Order By: Relevance

Paper Sections

Select...

Storyboards1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Other1

Article1

Relationship

Self Cite1

Independent1

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nonetheless, content in such systems is becoming increasingly complex, with hypertext pages often acting primarily as a user interface for a complex database system, so it is clear that formal methods for the design of such systems must deal with content as well. Ways in which other formal methods may be used to provide a precise definition of the content embedded within the sequence are discussed elsewhere (Newman, 2000b).…”

Section: Storyboardsmentioning

confidence: 99%