|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 56 occurrences of 38 keywords
|
|
|
Results
Found 186 publication records. Showing 186 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
170 | Shaoying Liu, Yong Sun |
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology |
156 | Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto |
A GUI and testing tool for SOFL. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method |
144 | Shaoying Liu, Jin Song Dong |
Class and Module in SOFL. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
137 | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain |
124 | Chris Ho-Stuart, Shaoying Liu |
A Formal Operational Semantics for SOFL. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
operational-semantics data-flow-diagram specification |
104 | Yao Shen, Haopeng Chen |
Extending SOFL Features for AOP Modeling. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
104 | Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba |
SOFL: A Formal Engineering Methodology for Industrial Applications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods |
84 | Haopeng Chen, Yao Shen, Jianwei Jiang 0002 |
Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
84 | Jin Song Dong, Shaoying Liu |
The Semantics of Extended SOFL. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Reusable Semantics, Object-Oriented Methods, Structured Methods |
72 | Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu |
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
72 | Fumiko Nagoya |
A Case Study on Combining Agile Requirements Development and SOFL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
72 | Busalire Onesmus Emeka, Shaoying Liu |
A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
72 | Yufei Yin, Shaoying Liu, Yixiang Chen |
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
72 | Johan van der Berg, Stefan Gruner |
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
72 | Zhouxian Jiang, Honghui Li, Xuetao Tian |
An Improved Reliability Testing Model Based on SOFL. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
72 | Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou |
Applying SOFL to a Railway Interlocking System in Industry. |
SOFL+MSVL |
2016 |
DBLP DOI BibTeX RDF |
|
72 | Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim |
A Case Study: SOFL + Model Checking for OSEK/VDX Application. |
SOFL+MSVL |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Xiongwen Luo 0002, Shaoying Liu |
Automatic Transformation from SOFL Module Specifications to Program Structures. |
SOFL+MSVL |
2015 |
DBLP DOI BibTeX RDF |
|
72 | Jinghua Zhang, Shaoying Liu |
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. |
SOFL+MSVL |
2014 |
DBLP DOI BibTeX RDF |
|
72 | Wahyu Eko Sulistiono, Shaoying Liu |
Applying SOFL to Constructing a Smart Traffic Light Specification. |
SOFL+MSVL |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Mo Li 0003, Shaoying Liu |
SOFL Specification Animation with Tool Support. |
SOFL+MSVL |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Yuting Chen |
Checking Internal Consistency of SOFL Specification: A Hybrid Approach. |
SOFL+MSVL |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Shenghua Zhu, Shaoying Liu |
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios. |
SOFL+MSVL |
2013 |
DBLP DOI BibTeX RDF |
|
72 | Yisheng Wang, Haopeng Chen |
Extension on Transactional Remote Services in SOFL. |
SOFL |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Fumiko Nagoya, Tetsuo Kitagawa |
An Application of SOFL for Rapid Prototyping. |
SOFL |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Mo Li 0003, Shaoying Liu |
Design and Implementation of a Tool for Specifying Specification in SOFL. |
SOFL |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
Applying SOFL to a Generic Insulin Pump Software Design. |
SOFL |
2012 |
DBLP DOI BibTeX RDF |
|
72 | Cong Tian, Shaoying Liu, Zhenhua Duan |
Abstract Model Checking with SOFL Hierarchy. |
SOFL |
2012 |
DBLP DOI BibTeX RDF |
|
71 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
A Framework for SOFL-Based Program Review. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
program review, SOFL, specification |
65 | Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou |
Developing an Insulin Pump System Using the SOFL Method. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Xiang Xue |
A Formal Specification Constructing Tool for SOFL. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Sirin Bekbay, Shaoying Liu |
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
software process, quality assurance, CMM, software development methodology |
65 | Shaoying Liu |
Developing Quality Software Systems Using the SOFL Formal Engineering Method. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying Liu, Zhenhua Duan, Ai Liu (eds.) |
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers |
SOFL+MSVL |
2023 |
DBLP DOI BibTeX RDF |
|
47 | Ruixuan Miao, Xu Lu 0003, Jin Cui |
An Approach of Transforming Non-Markovian Reward to Markovian Reward. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jin Cui, Xu Lu 0003, Guangliang Yu, Bin Yu |
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng |
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang |
Extending Visibly Pushdown Automata over Multi-matching Nested Relations. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu |
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Yang Li, Shaoying Liu |
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu 0003, Bin Yu |
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao 0021, Wenjie Mao |
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Lei Rao, Shaoying Liu, Ai Liu |
Testing Program Segments to Detect Runtime Exceptions in Java. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang, Jin Liu, Jing Liu |
Alternating Projection Temporal Epistemic Logic. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Xueqing Feng, Nan Zhang 0001, Zhenhua Duan |
Implementation of Matlab matfun Toolkit Based on MSVL. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, YanLin Li, Weiran Gao |
A JPSL Based Model Checking Approach for Java Programs. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) |
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers |
SOFL+MSVL |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.) |
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jingzi Wang, Hongyan Mao, Ningkang Jiang |
Formal Modeling and Verification of Microservice-Based Cyber-Physical System. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Meng Wang, Shushan Li |
Formalizing Spark Applications with MSVL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Bin Yu 0008, Xu Lu 0003, Hao Chen, Ming Lei 0003, Xiaobing Wang |
Runtime Verification of Ethereum Smart Contracts Based on MSVL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang |
An Unified Model Checking Approach of APTL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao 0021, Xinfeng Shu |
Automatic Generation of Specification from Natural Language Based on Temporal Logic. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Liang Zhao 0021, Zhe Feng, Xiaobing Wang, Xinfeng Shu |
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jin Cui, Lianxiang Zhu |
Model Checking Multi-interruption Concurrent Programs with TMSVL. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou |
Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xu Lu 0003, Bin Yu |
Pointer Program Synthesis as Non-deterministic Planning. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao 0021 |
An MSVL Based Model Checking Method for Multi-threaded C Programs. |
SOFL+MSVL |
2020 |
DBLP DOI BibTeX RDF |
|
47 | Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.) |
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yanjun Wen, Ji Wang |
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jin Cui, Xu Lu 0003, Buwen Liang |
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Lei Wang 0126, Guoxiong Chen, Liang Li 0014 |
Prediction of Function Removal Propagation in Linux Evolution. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Bin Yu 0008, Jinhui Liu, Ming Lei 0003, Yong Yu 0002, Hao Chen |
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu |
Metamorphic Testing in Fault Localization of Model Transformations. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan |
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo |
Formal Development and Verification of Reusable Component in PAR Platform. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Meng Wang 0001, Junfeng Tian, Hong Zhang |
UMC4M: A Verification Tool via Program Execution. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao 0021 |
Model Checking Python Programs with MSVL. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Distortion and Faults in Machine Learning Software. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Shahbaz Ali, Hailong Sun 0001, Yongwang Zhao |
Combining Model Learning and Model Checking to Analyze Java Libraries. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Jing Zhao 0016, Tianran Dong, Yang Cheng, Yanbin Wang |
CMM: A Combination-Based Mutation Method for SQL Injection. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xu Lu 0003, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng |
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen |
Adaptive Random Testing by Bisection and Comprehensive Distance. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Guoteng Pan, Mengjun Li, Guodong Ou |
Solving Constraint Optimization Problems Based on Mathematica and Abstraction. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang |
A Fault Localization Method Based on Dynamic Failed Execution Blocks. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Muhammad Jahanzeb Khan, Ruoyu Wang 0004, Daniel Sun 0004, Guoqiang Li 0001 |
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xu Qin, Shaoying Liu, Tao Zhang 0089 |
A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Canh Minh Do, Kazuhiro Ogata 0001 |
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Haiyang Wang, Yao Liu |
A Planning Approach Based on APTL. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao 0021, Xinfeng Shu |
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Eiichi Muramoto, Kazuhiro Ogata 0001, Yoichi Shinoda |
Formal Specification and Model Checking of a Ride-sharing System in Maude. |
SOFL+MSVL |
2019 |
DBLP DOI BibTeX RDF |
|
47 | Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.) |
Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Zhoujie Du, Huaikou Miao |
Research Review on Web Service Composition Testing. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang 0001, Ying Wu |
A Blockchain Implementation of an Attendance Management System. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shin Nakajima 0001 |
Dataset Diversity for Metamorphic Testing of Machine Learning Software. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying Liu |
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Ai Liu, Shun Wang, Yi Li 0010, Meng Sun 0002 |
On Semantics for Mediator: A Coalgebraic Perspective. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie |
Formal Specification and Verification for Real-Time Scheduling Based on PAR. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Xiaobing Wang, Wenxuan Guo, Liang Zhao 0021, Xinfeng Shu |
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao 0021 |
Model Checking Java Programs with MSVL. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Chong Bai |
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure. |
SOFL+MSVL |
2018 |
DBLP DOI BibTeX RDF |
|
47 | Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.) |
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu |
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Fumiko Nagoya, Shaoying Liu |
An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Chin-Fu Lin, Ondrej Navrátil, Sheng-Lung Peng |
On the Cooperative Graph Searching Problem. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Pan Zhao, Shaoying Liu |
A Software Tool to Support the "Vibration" Method. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Siyuan Li, Shaoying Liu |
A Software Tool to Support Scenario-Based Formal Specification for Error Prevention. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Xiuting Tao, Guoqiang Li 0001 |
The Complexity of Linear-Time Temporal Logic Model Repair. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
47 | Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang |
Foundation of a Framework to Support Compliance Checking in Construction Industry. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 186 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|