LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata by Evgeney Maximovich Vinarskii, Vladimir Anatolyevich Zakharov

Subjects: Get full text

Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

Research on verification of behavior requirement patterns based on action sequences by DU Jun-wei1, XU Zhong-wei2, JIANG Feng1

Subjects: Get full text

Homology Groups of a Pipeline Petri Net by A. A. Husainov, E. S. Bushmeleva, T. A. Trishina

Subjects: Get full text

Exploring Protagonist Characterization in Assassin’s Creed III (2012): A Transitivity Analysis by Rio Firman Wandana, Wawan Gunawan

Subjects: “…transitivity system…”
Get full text

Entre o doméstico e o urbano. Os sistemas de transição como espaço para um habitar colectivo by João Silva Leite, Filipa Serpa

Subjects: Get full text

Optimization Model of Express–Local Train Schedules Under Cross-Line Operation of Suburban Railway by Jingyi Zhu, Xin Guo, Jianju Pan

Subjects: “…rail transit systems…”
Get full text

A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems by And. V. Klimov

Subjects: “…well-structured transition systems…”
Get full text

Ölçme ve Değerlendirme Merkezinde Çalışan Fen Bilimleri Öğretmenlerinin LGS Sınavında Sorulan Beceri Temelli Sorular Hakkındaki Görüşleri by İsrafil Evrenkaya, Nejmettin Yıldırım, Mehmet Akif Arduç

Subjects: Get full text

Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: Get full text

Generalized Asynchronous Systems by E. S. Kudryashova, A. A. Khusainov

Subjects: Get full text

Temporal Logic for Programmable Logic Controllers by Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch

Subjects: Get full text

Socioeconomic Status and School Type as Predictors of Academic Achievement by Hayri Eren Suna, Hande Tanberkan, Bekir Sıddık Gür, Matjaz Perc, Mahmut Özer

Subjects: Get full text

Should we Build Mega Transport Project in Cities? The Case of TransPeshawar Pakistan by Sayed Fayaz Ahmad, Sayed Ilyas Ahmad Ilyas Ahmad

Subjects: “…Rapid Transit System (RTS)…”
Get full text

Transports en commun et densification : vers une nouvelle configuration urbaine des villes états‑uniennes ? by Gérald Billard

Subjects: Get full text

INSTITUTIONAL GLOBALIZATION AS A SYSTEM OF INTEGRATION THE PHENOMENON OF THE POSTMODERN DEVELOPMENT by V. V. Zinchenko

Subjects: Get full text

Role of YouTube in creating awareness of sustainable transportation: A Latent Dirichlet Allocation approach by Qamar Muneer, Muhammad Asif Khan

Subjects: Get full text

Effects of the built environment on travel distance in bus-oriented, medium-sized cities in China by Xiaowei Li, Lanxin Shi, Junqing Tang, Jiaying Li, Pengjun Zhao, Qian Liu, Jun Chen, Changxi Ma

Subjects: Get full text

Enhancing Accuracy in Hourly Passenger Flow Forecasting for Urban Transit Using TBATS Boosting by Madhuri Patel, Samir B. Patel, Debabrata Swain, Rishikesh Mallagundla

Subjects: “…urban transit system…”
Get full text