000			03225nam a2200577 i 4500
001			6812760
003			IEEE
005			20200413152850.0
006			m||||eo||d||||||||
007			cr an |||m|||a
008			081017s2006 caua fob 001 0 eng d
020			_a1598290118 (electronic bk.)
020			_a159829010X (pbk.)
020			_a9781598290110 (electronic bk.)
020			_z9781598290103 (print)
024	7		_a10.2200/S00006ED1V01Y200508CSL001 _2doi
035			_a(OCoLC)68044648
035			_a(CaBNVSL)gtp00531522
040			_aCaBNVSL _cCaBNVSL _dCaBNVSL
050		4	_aQA267.5.T45 _bT446 2006
082	0	4	_a511.3 _222
090			_a _bMoCl _e200508CSL001
245	0	4	_aThe theory of timed I/O automata _h[electronic resource] / _cDilsun K. Kaynar ... [et al.].
250			_a1st ed.
260			_aSan Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : _bMorgan & Claypool Publishers, _c2006.
300			_a1 electronic text (xi, 101 p. : ill.) : _bdigital file.
490	1		_aSynthesis lectures on computer science, _x1932-1686 ; _v#1
538			_aMode of access: World Wide Web.
538			_aSystem requirements: Adobe Acrobat Reader.
500			_aPart of: Synthesis digital library of engineering and computer science.
500			_aSeries from website.
504			_aIncludes bibliographical references (p. 93-97) and index.
505	0		_aIntroduction -- Mathematical preliminaries -- Describing timed system behavior -- Timed automata -- Operations on timed automata -- Timed I/O automata -- Operations on timed I/O automata -- Conclusions and future work.
506	1		_aAbstract freely available; full-text restricted to subscribers or individual document purchasers.
510	0		_aCompendex
510	0		_aINSPEC
510	0		_aGoogle scholar
510	0		_aGoogle book search
520			_aThis monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which makes it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior.
530			_aAlso available in print.
588			_aTitle from PDF t.p. (viewed on Nov. 8, 2008).
650		0	_aTemporal automata.
690			_aFormal modeling and verification.
690			_aI/O automata.
690			_aTimed computing systems.
700	1		_aKaynar, Dilsun K.
730	0		_aSynthesis digital library of engineering and computer science.
830		0	_aSynthesis lectures on computer science ; _v#1.
856	4	2	_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/servlet/opac?bknumber=6812760
856	4	0	_3Abstract with links to full text _uhttp://dx.doi.org/10.2200/S00006ED1V01Y200508CSL001
999			_c561598 _d561598