| Título: | Formal Specification in “Z” Language by Software Z/EVES |
| Autores: |
Svec, Josef Zahradnik, Jiri |
| Fecha: | 2011-06-22 |
| Publicador: | Advances in Electrical and Electronic Engineering |
| Fuente: |
 |
| Tipo: |
|
| Tema: | ITS; Z/EVES; axiomatic definition. |
| Descripción: | The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification “Z” language and software Z/EVES. |
| Idioma: | Inglés |
1 The Applications for the Calculation and Optimization of Passive Optical Networks Attenuation Characteristics por Lafata, Pavel,Vodrazka, Jiri | 6 Binary Modulation Formats in Optical Access Networks por Tejkal, Vladimir,Filka, Miloslav,Reichert, Pavel,Sporik, Jan |
2 The Study of Sensory Properties of Quasi-Singlemode Fiber por Koudelka, Petr; Department of Telecommunications
Faculty of Electrical Engineering and Computer Science
VSB-TU Ostrava
17. listopadu 15/2172
708 33 Ostrava-Poruba
Czech Republic,Latal, Jan,Siska, Petr,Hanacek, Frantisek,Skapa, Jan,Vasinek, Vladimir | 7 Optical Fiber Sensor with Distributed Parameters Based on Optical Fiber Reflectometry por Korenko, Branislav,Jasenek, Jozef,Cervenova, Jozefa,Hlavac, Marek |
3 Fiber Optical Sensor for High Temperatures por Hanacek, Frantisek; Site Administrator,Latal, Jan,Koudelka, Petr,Skapa, Jan,Siska, Petr,Vasinek, Vladimir,Hurta, Jan | 8 Future of Electrotechnics: Ferrofluids por Mayer, Daniel |
4 The Soliton Transmissions in Optical Fibers por Bohac, Leos | 9 Analysis of Simulated Reflection Characteristics of Uniform and Apodized Fiber Bragg Gratings por Gemzicky, Erik,Mullerova, Jarmila |
5 Influence of Magnetic Field on Electric Charge Trasport in Holmium Thin Film at Low Temperature por Dudas, Jan,Gabani, Stanislav,Bagi, Jozef,Goscianska, Iwona,Hodulikova, Anna | 10 WDM in Courses of Communication Technologies por Filka, Miloslav,Bernkopf, Miroslav |