Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
Strona główna > Publikacje
Publikacje
Pomoc (F2)
[2722] Artykuł:

Validation of Reactive Embedded Systems against Temporal Requirements

Czasopismo: Proc. of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems   Strony: 152-160
ISBN:  0-7695-2125-8
Wydawca:  IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
Opublikowano: 2004
 
  Autorzy / Redaktorzy / Twórcy
Imię i nazwisko Wydział Katedra Procent
udziału		 Liczba
punktów
J. Strug33.00  
Roman Stanisław Deniziak orcid logoWEAiIKatedra Informatyki *****33.00  
K Sapiecha33.00  

Grupa MNiSW:  Materiały z konferencji międzynarodowej (zarejestrowane w Web of Science)
Punkty MNiSW: 0
Klasyfikacja Web of Science: Proceedings Paper

Web of Science Logo Web of Science    

Abstract:

Efficient methods of automatic generation of test scenarios to validate a system against functional requirements have already been developed. However there are no such satisfactory methods as far as temporal requirements are concerned In this paper a method of automatic generation of test scenarios for verification of time constraints for reactive embedded systems is presented.


POWRÓT
Strona główna > Publikacje